Invariant Method of Load Independent Pressure Control in Steam Boiler

A Steam - Boiler Control

Control System Simulator for Steam Boiler Parameters

Abstract: The paper presents the research results related to control of the steam boiler parameters: drum level, furnace pressure and steam pressure. It was developed the mathematical model of the water-steam system and furnace part of the boiler. Also, the paper presents the algorithm for real time detection of model parameter variations. In this context a correction method, validate through s...

The Application of Fuzzy Neural Network to Boiler Steam Pressure Control

The control effect of steam pressure is one of the most important factors influencing stability in chain type boiler. Aimed at the problem that the control of steam pressure is restricted by many factors, a kind of fuzzy neural network (FNN) is presented in this paper. The controller has the advantage of self-adapting, self-learning and tuning on-line. In simulation, this system exerts stably, ...

Creating A Validated Implementation Of The Steam Boiler Control

SPIN is a tool for the simulation and veri cation of protocols. PROMELA, its source language, is a formal description technique like SDL and Estelle that is based on communicating state machines. The tool and the language are in the public domain and therefore widely used. The "SteamBoiler Control Speci cation Problem" consists of an informal speci cation of a steam boiler system in a nuclear p...

An Algebraic Specification of the Steam-Boiler Control System

In Formal methods for industrial applications: specifying and programming the steam boiler control,